Deductive optimization of relational data storage
نویسندگان
چکیده
منابع مشابه
A Deductive Question Answering System on Relational Data Bases
T h i s paper d e s c r i b e s a new f o r m a l i z a t i o n of a d e d u c t i v e q u e s t i o n a n s w e r i n g system on a r e l a t i o n a l d a t a base u s i n g a theorem p r o v i n g t e c h n i q u e . A theorem p r o v i n g p rocedu re f o r a f i n i t e domain i s i n v e s t i g a t e d and a d i r e c t p r o o f p r o c e d u r e based o n s u b s t i t u t i o n s o f ...
متن کاملFrom relational to deductive databases
This paper highlights the limits of current implementations of SQL and shows how they can be overcome with deductive approaches. Deductive query languages subsuming relational ones must include constructors to allow users for submitting queries semantically equivalent to their relational counterparts. As deductive languages are based on first order predicate logic, they are able to capture rela...
متن کاملRelational Joins for Data on Tertiary Storage
Despite the steady decrease in secondary storage prices, the data storage requirements of many organizations cannot be met economically using secondary storage alone. Tertiary storage offers a lower-cost alternative but is viewed as a second-class citizen in many systems. For instance, the typical solution in bringing tertiary-resident data under the control of a DBMS is to use operating system...
متن کاملDeductive Extension of a Relational Database System
Logic based knowledge processing systems such as PROLOG based expert systems have shown obvious drawbacks in performing conventional database tasks. Knowledge processing by deduction on a large set of given facts can be better performed by a deductive database system based on Horn logic and relational database theory. A concept is presented to extend an existing relational database system to ma...
متن کاملXML Data Storage and Query Optimization in Relational Database by XPath Processing Model
XML is de facto new standard for data representation and exchanging on the web. Along with the growth of XML data, traditional relational databases support XML data processing across-the-board. Consistent storage and efficient query for XML data is the chief problem in XML supported relational databases. This work presents mechanisms of Storage and query optimization for XML data in relational ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the ACM on Programming Languages
سال: 2020
ISSN: 2475-1421
DOI: 10.1145/3428238